1. Algebra and coalgebra in computer science
پدیدآورنده: / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics--Congresses,Algebra--Congresses,Formale Methode--Kongress--Udine <2009>,Theoretische Informatik--Algebra--Kongress--Udine <2009>,Theoretische Informatik--Koalgebra--Kongress--Udine <2009>,Algebra.--swd,Formale Methode.--swd,Koalgebra.--swd,Theoretische Informatik.--swd,Kongress.--swd,Udine (2009)--swd
رده :
QA
,
76
.
9
,.
M35
,
C33
,
2009
2. Algebra and coalgebra in computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd
3. Automata, languages and programming :
پدیدآورنده: ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
4. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
33
5. Category theory and computer science :
پدیدآورنده: Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
6. Das CC RIM-Referenzmodell für den Entwurf von betrieblichen, transaktionsorientierten Informationssystemen
پدیدآورنده: von Thomas A. Gutzwiller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Economics.,Management information systems.
رده :
T58
.
64
V668
1994
7. Didaktik der Informatik /
پدیدآورنده: Sigrid Schubert, Andreas Schwill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Study and teaching.,Computer science-- Study and teaching.
رده :
QA76
.
S38
2011eb
8. Dynamische Integrität von Datenbanken :
پدیدآورنده: von Udo W. Lipeck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
9
.
D3
V668
1989
9. Einführung in die Informatik Objektorientiert mit Java
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer science.,Objektorientierte Programmierung
10. Elektrotechnik für Ingenieure - Formelsammlung :
پدیدآورنده: von Wilfried Weißgerber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.,Engineering.
11. Elektrotechnik für Ingenieure - Klausurenrechnen :
پدیدآورنده: von Wilfried Weißgerber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.,Engineering.
رده :
TK169
.
V669
2013
12. Fete of combinatorics and computer science
پدیدآورنده: Gyula O.H. Katona, Alexander Schrijver, Tamas Szionyi (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Combinatorial analysis,Computer science- Mathematics,Kombinatorik,Theoretische Informatik,Keszthely,Kongress
رده :
QA
،
164
،.
F484
،
2010
13. Grundkurs Algorithmen und Datenstrukturen in JAVA :
پدیدآورنده: von Andreas Solymosi, Ulrich Grude.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
9
.
D35
V663
2002
14. Informatik :
پدیدآورنده: von Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Data structures (Computer science)
رده :
QA76
.
9
.
A43
V666
1995
15. Informatik und Ausbildung :
پدیدآورنده: herausgegeben von Volker Claus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
16. Informatik und 'Dritte Welt' :
پدیدآورنده: herausgegeben von G. Cyranek, A. Kachru, H. Kaiser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
HC59
.
72
H473
1988
17. Mathematical and Engineering Methods in Computer Science :
پدیدآورنده: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME,SPEZIELLE PROGRAMMIERMETHODEN,THEORETISCHE INFORMATIK
رده :
QA75
.
5
T456
2013
18. PEARL 91 - Workshop über Realzeitsysteme :
پدیدآورنده: herausgegeben von Wolfgang A. Halang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Software engineering.
رده :
QA76
.
54
H473
1991
19. PEARL 90 -- Workshop über Realzeitsysteme 11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990, Proceedings
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer science.
رده :
QA76
.
54
P437
1990
20. Perspectives of system informatics :
پدیدآورنده: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programmierung.,Theoretische Informatik.,Wissenstechnik.
